Lipsy Gupta
EMSOFT 2025: 25th International Conference on Embedded Software
Star-set based efficient reachable set computation of anytime sensing-based neural network-controlled dynamical systems
EMSOFT 2024: 24th International Conference on Embedded Software
Approximate Conformance Checking for Closed-Loop Systems with Neural Network Controllers